decoration

Poids de l’Open access dans la production CNRS

Titre
Modeling and verification of temporal properties in Cyber-Physical Systems
BSO - Titre
Modeling and verification of temporal properties in cyber-physical systems
DOI
DOAI
Identifiant WoS
WOS:000412117100076
Accès ouvert
OA - Non
Source - Accès ouvert
OA - Non
Type d'accès
Non OA
Editeur

IEEE - Institute of Electrical and Electronics Engineers

Source

IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC)

ISSN
2331-9852
Type de document
  • Meeting Abstract
Notoriété
0 - Sans notoriété
CNRS
Oui
CNRS - Institut
  • INS2I - Institut des sciences de l'information et de leurs interactions
  • INSIS - Institut des sciences de l'ingénierie et des systèmes
uid:/7KWPWJ5M
Powered by Lodex 9.6.0
decoration